Binding Application in Idris
andrevidela.com·7h·
Discuss: Hacker News
🔠Type-Level Programming
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·8h·
Discuss: r/programming
🔬Static Analysis
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·13h·
Discuss: Hacker News
🔬Static Analysis
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·13h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Galois field instructions on 2021 CPUs
corsix.org·19h·
Discuss: Hacker News
🐫Embedded OCaml
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Don’t compare programming to the real world
expressionstatement.com·17h·
Discuss: r/programming
👁️System Observability
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·16h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·12h·
Discuss: Substack
🐫Embedded OCaml
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·14h·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
GPU-accelerated Modeling of Biological Regulatory Networks
arxiv.org·2d
✓Automated Theorem Proving
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·2h
⚙️PL Implementation
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·8h·
Discuss: r/programming
🐫OCaml
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·8h·
Discuss: Hacker News
⚙️PL Implementation
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·2h
🐫OCaml
Inheritance and Polymorphism in Plain C
coz.is·2d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·15h·
Discuss: Hacker News
🔠Type-Level Programming
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·2d
➡️Category Theory